First you prove that there is at least one object that has the desired
property. Then you assume that there are two objects that have the desired
property and prove that they must be the same.